Execution of Partial State Machine Models

The iterative and incremental nature of software development using models typically makes a model system incomplete (i.e., partial) until more advanced complete stage is reached. Existing execution approaches (interpretation or code generation) do not support the partial models. Supporting at early stages allows detection defects, which can be fixed easily lower cost. This paper proposes conceptual framework for models, consists three steps: static analysis , xmlns:xlink="http://www.w3.org/1999/xlink">automatic refinement xmlns:xlink="http://www.w3.org/1999/xlink">input-driven execution . First, static analysis that respects semantics applied to detect problematic elements cause problems execution. Second, transformation techniques, are refined automatically, mainly by adding decision points where missing information supplied. Third, executed, when reaches points, it uses inputs obtained either interactively script captures how deal with elements. We created an engine called xmlns:xlink="http://www.w3.org/1999/xlink">PMExec UML-RT modeling language soft real-time systems) embodies our proposed framework. evaluated based on several use-cases show analysis, refinement, application user input carried out reasonable performance, overhead approach, mostly due refinement increase in complexity causes, manageable. also discuss properties formally, preserves original behaviors model.